Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.deΒ·23hΒ·
Discuss: Hacker News
πŸ’§Liquid Types
Quantum Networks: Taming the Chaos with Intelligent Routing by Arvind Sundararajan
dev.toΒ·1dΒ·
Discuss: DEV
πŸ”Quantum Security
Measuring Explicit Congestion Notification
blog.apnic.netΒ·1d
πŸ“‘Network Protocol Design
The Infrastructure Physics Problem Behind AI’s Data Center Crisis
telecomramblings.comΒ·3h
🌊Stream Processing
Defeating Nondeterminism in LLM Inference
simonwillison.netΒ·1d
πŸ€–Lisp Machines
Bodega: Serving Linearizable Reads Locally from Anywhere at Anytime via Roster Leases
arxiv.orgΒ·2d
🌐IPFS
Charles Sanders Peirce, George Spencer Brown, and Me β€’ 19
inquiryintoinquiry.comΒ·1d
πŸ”€Type Theory
Journey to 2-second Inter-node RL Weight Transfer
le.qun.chΒ·21hΒ·
Discuss: Hacker News
⚑Homebrew CPUs
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.orgΒ·4hΒ·
🎯Arithmetic Coding Theory
[D] Math foundations to understand Convergence proofs?
reddit.comΒ·15hΒ·
🎯Performance Proofs
AUSNOG 2025
potaroo.netΒ·6h
πŸ•ΈοΈMesh Networking
The Data Backbone of LLM Systems
infoq.comΒ·18hΒ·
Discuss: Lobsters
πŸ”—Constraint Handling
Polymorphic symmetric multiple dispatch with variance
dl.acm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”€Type Theory
Multithreading: Interview Questions and Practice Problems
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
Quantum Algorithm Zoo
quantumalgorithmzoo.orgΒ·1dΒ·
Discuss: Hacker News
βš›οΈQuantum Algorithms
Defeating Nondeterminism in LLM Inference
thinkingmachines.aiΒ·1dΒ·
⚑Homebrew CPUs
Paul's Online Math Notes
tutorial.math.lamar.eduΒ·7hΒ·
Discuss: Hacker News
πŸ“œManuscript Calculus
Architecting Precision: Breakthrough Frameworks Redefine Systems and Data Integration
hackernoon.comΒ·1d
πŸ”§KAITAI
Securing AI Workloads in Kubernetes: Why Traditional Network Security Isn’t Enough
tigera.ioΒ·15h
πŸ‘οΈObservatory Systems